English Computing Dictionary
◊ TOTALLY ORDERED SET
totally ordered set
A {set} with a {total ordering}.